List of bibliographic references indexed by Silvio Ghilardi
Number of relevant bibliographic references: 13.
| Ident. | Authors (with country if any) | Title |
|---|
| 001605 (2013) |
Francesco Alberti [Suisse] ; Silvio Ghilardi [Italie] ; Natasha Sharygina [Suisse] | Definability of Accelerated Relations in a Theory of Arrays and Its Applications |
| 001630 (2013) |
Nick Bezhanishvili [Pays-Bas] ; Silvio Ghilardi [Italie] | Bounded Proofs and Step Frames |
| 004199 (2008) |
Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Daniele Zucchelli [Italie] | A comprehensive combination framework |
| 004290 (2008) |
Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie] | Towards SMT Model Checking of Array-Based Systems |
| 004C19 (2007) |
Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [France] ; Daniele Zucchelli [Italie, France] | Noetherianity and Combination Problems |
| 004C79 (2007) |
Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [France] ; Daniele Zucchelli [Italie, France] | Decision procedures for extensions of the theory of arrays |
| 004C91 (2007) |
Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [France] ; Daniele Zucchelli [Italie, France] | Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems |
| 005509 (2006) |
Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies |
| 005510 (2006) |
Maria Paola Bonacina [Italie] ; Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures |
| 005613 (2006) |
Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Deciding extensions of the theory of arrays by integrating decision procedures and instantiation strategies |
| 005614 (2006) |
Maria Paola Bonacina [Italie] ; Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Decidability and undecidability results for nelson-oppen and rewrite-based decision procedures |
| 005627 (2006) |
Franz Baader [Allemagne] ; Silvio Ghilardi [Italie] ; Cesare Tinelli [États-Unis] | A new combination procedure for the word problem that generalizes fusion decidability results in modal logics |
| 006C57 (2004) |
Franz Baader ; Silvio Ghilardi ; Cesare Tinelli [États-Unis] | A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Silvio Ghilardi"
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i \
-Sk "Silvio Ghilardi" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= indexItem
|index= Author.i
|clé= Silvio Ghilardi
}}
| This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022 |  |
